\section{最优恢复}\label{sec:resilience}

节点是否安全且可活依赖于多方面因素：它们选择了什么样的{\quorum}切片，哪些节点是恶性行为的，当然还有具体的共识协议和网络行为。像对待通常的异步系统一样，我们假设系统最终将在良性行为的节点之间传递消息，但是可能会随意性地延迟或重新排序消息。

本节回答下面这个问题：给定一个特定的$\langle\mybm{Q},\mybm{V}\rangle$和恶性行为节点子集$\mybm{V}$，在忽略网络因素的情形下任何联邦拜占庭一致性协议能够确保的最佳安全性和存活性是什么？我们首先讨论{\quorum}交这一属性，没有它安全性是无法保证的。接着我们引入可去集的概念——这是一个错误节点的集合，不考虑它们系统仍然有可能保持安全性和存活性。

\input{tex/4-resilience-s1}
\input{tex/4-resilience-s2}
